Development of Real Time Systems (in English)
نویسندگان
چکیده
منابع مشابه
Real - Time Systems Development
base class<>Towable TrolleyTrailerVehicle Implementing an interface 13.7 Interobject messaging UML represents the various different types of communication that can takeplace between objects with a single message generalization. So an abstractUML message could be implemented by a straightforward call to a method,a remote procedure call (rpc), a piped messag...
متن کاملdevelopment of feminist poetics in adrienne rich
اشعار ریچ، به عنوان اشعاری که همیشه در حال تغییر و دگرگونی هستند، تجسمی از رشد و دگرگونیِ انسان هستد. پایان نامه ی حاضر، با تمرکز بر روی مراحل سیر شعری ریچ از تغییری در دنیا به عکس هایی فوری از یک عروس، سپس به شیرجه به درون کشتی شکسته و در نهایت به صبری عجیب مرا تا اینجا آورده، به بررسی این مراحل در قالب نظر شوالتر در رابطه با سه مرحله ی پیشرفت ادبی زنان یعنی مرحله ی زنانه، زن گرا و زن محور می پ...
15 صفحه اولSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملDevelopment of Safety-Critical Real-Time Systems
This paper presents an approach to the development of safety-critical real-time systems linking from the Requirements Language developed in the ESPRIT Project ProCoS to the Temporal Language of Transitions (TLT) speciication language developed at Siemens Corporate Research. A system is deened by a conventional mathematical model for a dynamic system where application speciic states denote funct...
متن کاملPractical Formal Development of Real-Time Systems
The complexities of real-time systems are such that it is often thought necessary to give a formal justi-cation of their correctness, especially if they are to be used in a safety-critical environment. In this paper we describe our work on a formally based design method for real-time systems which allows the timing aspects of a concurrent system to be mathematically described and veriied, as we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Dynamic Systems, Measurement, and Control
سال: 1972
ISSN: 0022-0434,1528-9028
DOI: 10.1115/1.3426569